Categorical Description of Simple-Folding a Map
نویسندگان
چکیده
To compensate for the lack of abstraction in field origami, this paper, we propose a categorical description that can be introduced to map folding. Specifically, use particular expression abstract folding process with logical matrices. When operations are restricted two certain kinds, simple folds and unfolds, define categories partly folded states as poset categories. The property posets induces many general concepts, such (co)product, opposite category, direct system, so on. We then introduce how these concepts specified proposed These conceptions specifications brought us hope solve study contemporary mathematical methods, (co)homology. Furthermore, our potentially applied more generalized version folding, flat-folding.
منابع مشابه
Map Folding
A crease pattern is an embedded planar graph on a piece of paper. An m×n map is a rectangular piece of paper with a crease pattern that partitions the paper into an m×n regular grid of unit squares. If a map has a configuration such that all the faces of the map are stacked on a unit square and the paper does not self-intersect, then it is flat foldable, and the linear ordering of the faces is ...
متن کاملCategorical Description Of Plant Morphogenesis
This article presents formalistic tool for description of structural and biochemical relations between cells in the course of development of the body of plants. This is flexible formalistic space, based on the Category theory and the Petri Net approach, which embeds and mutually supplements biological data from methodically different sources. Relation between functional and morphological ways o...
متن کاملFolding a Tree into a Map
Analysis of the retrieval architecture of the highly influential UNIX file system ([1][2]) provides insight into design methods, constraints, and possible alternatives. The basic architecture can be understood in terms of function composition and recursion by anyone with some mathematical maturity. Expertise in operating system coding or in any specialized “formal method” is not required.
متن کاملA Simple Adequate Categorical Model for PCF
Usually types of PCF are interpreted as cpos and terms as continuous functions. It is then the case that non-termination of a closed term of ground type corresponds to the interpretation being bottom; we say that the semantics is adequate. We shall here present an axiomatic approach to adequacy for PCF in the sense that we will introduce categorical axioms enabling an adequate semantics to be g...
متن کاملDescription of Map Units
Nonglacial deposits Artificial fill (Holocene)—Mud, sand, and gravel of varying proportions, possibly including foreign debris such as concrete, logs, timbers, or brick. Used for highway roadbeds and other construction. Thickness generally greater than 2 m. Mapped where fill substantially obscures or has altered original geologic deposit. Beach deposits (Holocene)—Soft sand, silt, and mud depos...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in transdisciplinary engineering
سال: 2022
ISSN: ['2352-751X', '2352-7528']
DOI: https://doi.org/10.3233/atde220006